Alternating Turing machine